<html>
<head><meta charset="utf-8"><title>I-prioritize #55498 Regression: Not well-formed HRTB doesn&#x27;t · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html">I-prioritize #55498 Regression: Not well-formed HRTB doesn&#x27;t</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="199664006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/199664006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#199664006">(Jun 03 2020 at 19:19)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/55498">#55498</a> has been requested for prioritization.</p>



<a name="199709678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/199709678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#199709678">(Jun 04 2020 at 06:30)</a>:</h4>
<p>It would be good to find the source of the regression to find out if this is expected fallout or not, as noted by <span class="user-mention silent" data-user-id="211727">Jonas Schievink</span></p>



<a name="200428591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200428591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200428591">(Jun 10 2020 at 15:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> thoughts about this issue?</p>



<a name="200434790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200434790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200434790">(Jun 10 2020 at 15:49)</a>:</h4>
<p>this one is also pending</p>



<a name="200435842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200435842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200435842">(Jun 10 2020 at 15:56)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/55498">#55498</a>'s prioritization request has been removed.</p>



<a name="200436413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200436413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200436413">(Jun 10 2020 at 15:59)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/55498">#55498</a> has been requested for prioritization.</p>



<a name="200436635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200436635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200436635">(Jun 10 2020 at 16:00)</a>:</h4>
<p>this is the last pending prioritization</p>



<a name="200436694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200436694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200436694">(Jun 10 2020 at 16:00)</a>:</h4>
<p>first question is should this compile?</p>



<a name="200436711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200436711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200436711">(Jun 10 2020 at 16:01)</a>:</h4>
<p>need to check a bit better :)</p>



<a name="200436943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200436943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200436943">(Jun 10 2020 at 16:02)</a>:</h4>
<p>I think the error message is correct</p>



<a name="200437037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200437037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200437037">(Jun 10 2020 at 16:03)</a>:</h4>
<p>what's going on?</p>



<a name="200437064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200437064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200437064">(Jun 10 2020 at 16:03)</a>:</h4>
<p>going to try it out and read the code :)</p>



<a name="200437071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200437071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200437071">(Jun 10 2020 at 16:03)</a>:</h4>
<p>i.e. <code>impl&lt;T: for&lt;'a, 'b&gt; FooType&lt;'a, 'b&gt;&gt; FooTypeHack for T {}</code> should not apply to <code>FooTypeImpl</code></p>



<a name="200437185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200437185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200437185">(Jun 10 2020 at 16:04)</a>:</h4>
<p>I already looked at this before and forgotten the exact problem...</p>



<a name="200437236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200437236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200437236">(Jun 10 2020 at 16:04)</a>:</h4>
<p>Afaict the issue is that  <code>for&lt;'a, 'b&gt; FooType&lt;'a, 'b&gt;</code> is not well formed</p>



<a name="200437354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200437354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200437354">(Jun 10 2020 at 16:05)</a>:</h4>
<p>As <code>FooType&lt;'a, 'b: 'a&gt;</code> requires <code>'b</code> to outlive <code>'a</code>.</p>



<a name="200437586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200437586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200437586">(Jun 10 2020 at 16:07)</a>:</h4>
<p>aaaaaaaaaaaaaaaaaaaa, there is still something I am missing here <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span> let me look at it again</p>



<a name="200438149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200438149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200438149">(Jun 10 2020 at 16:10)</a>:</h4>
<p>at the very least the error is ungreat :)</p>



<a name="200441111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200441111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200441111">(Jun 10 2020 at 16:31)</a>:</h4>
<p>well this is the last un-prioritized, I'm going to try to run cargo bisect rustc</p>



<a name="200444649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200444649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200444649">(Jun 10 2020 at 16:59)</a>:</h4>
<p>ok, implied outlives bounds are weird, while I would not expect this to compile, I am not sure whether it should <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>
<p>It might be a good idea to further minimize this example and throw it at <span class="user-mention silent" data-user-id="116009">nikomatsakis</span> for his opinion.</p>



<a name="200445207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200445207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200445207">(Jun 10 2020 at 17:03)</a>:</h4>
<p>I have an exam next week and really should stop looking into this tbh</p>



<a name="200449818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200449818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200449818">(Jun 10 2020 at 17:36)</a>:</h4>
<p>I've pinged <span class="user-mention" data-user-id="116009">@nikomatsakis</span> already</p>



<a name="200449835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200449835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200449835">(Jun 10 2020 at 17:36)</a>:</h4>
<p>he told me that he has figured out</p>



<a name="200449847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200449847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200449847">(Jun 10 2020 at 17:36)</a>:</h4>
<p>I've got this <a href="https://github.com/rust-lang/rust/issues/55498#issuecomment-642154906">https://github.com/rust-lang/rust/issues/55498#issuecomment-642154906</a></p>



<a name="200449947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200449947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200449947">(Jun 10 2020 at 17:37)</a>:</h4>
<p>related to <a href="https://github.com/rust-lang/rust/issues/54624">#54624</a> maybe?</p>



<a name="200453069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200453069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200453069">(Jun 10 2020 at 18:00)</a>:</h4>
<p>given conclusions by <span class="user-mention silent" data-user-id="116009">nikomatsakis</span> what should we do with this one cc <span class="user-mention" data-user-id="216206">@lcnr</span> <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span></p>



<a name="200453840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200453840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200453840">(Jun 10 2020 at 18:05)</a>:</h4>
<p>closed</p>



<a name="200454095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454095">(Jun 10 2020 at 18:06)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/55498">#55498</a>'s prioritization request has been removed.</p>



<a name="200454161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454161">(Jun 10 2020 at 18:07)</a>:</h4>
<p>Slightly related, do we want to remove the <code>I-prioritize</code> labels of closed issues?</p>



<a name="200454465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454465">(Jun 10 2020 at 18:09)</a>:</h4>
<p><span class="user-mention" data-user-id="216206">@lcnr</span> I think it's irrelevant but we could :)</p>



<a name="200454565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454565">(Jun 10 2020 at 18:10)</a>:</h4>
<p>I guess the question is ... do you think it would be useful somehow?</p>



<a name="200454681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454681">(Jun 10 2020 at 18:11)</a>:</h4>
<p>I thin there was a discussion about this in the past <span aria-label="thinking" class="emoji emoji-1f914" role="img" title="thinking">:thinking:</span></p>



<a name="200454699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454699">(Jun 10 2020 at 18:11)</a>:</h4>
<p>Might also be about a different label</p>



<a name="200454855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454855">(Jun 10 2020 at 18:12)</a>:</h4>
<p>I just search for open <code>I-prioritize</code> so removing the label doesn't change anything for me</p>



<a name="200454867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454867">(Jun 10 2020 at 18:12)</a>:</h4>
<p>but there may be a reason to do so ?</p>



<a name="200454877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454877">(Jun 10 2020 at 18:13)</a>:</h4>
<p>might have been <code>I-nominated</code> instead...</p>



<a name="200454928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454928">(Jun 10 2020 at 18:13)</a>:</h4>
<p>Removing it feels cleaner to me, but I don't know why</p>



<a name="200454949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454949">(Jun 10 2020 at 18:13)</a>:</h4>
<p>Because as you said it doesn't matter</p>



<a name="200454965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200454965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200454965">(Jun 10 2020 at 18:13)</a>:</h4>
<p>which makes more sense, as it may be useful to nominated fixed issues/PRs for discussion</p>



<a name="200455104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200455104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200455104">(Jun 10 2020 at 18:14)</a>:</h4>
<p>But at the same time does it make sense to prioritized a fixed issue?</p>



<a name="200455971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200455971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200455971">(Jun 10 2020 at 18:21)</a>:</h4>
<p>I'm neutral to what you guys prefer to be honest it's exactly the same for me :)</p>



<a name="200456065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200456065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200456065">(Jun 10 2020 at 18:22)</a>:</h4>
<p>we may want to do some automations when things are closed</p>



<a name="200456103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200456103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200456103">(Jun 10 2020 at 18:22)</a>:</h4>
<p>if closed remove <code>I-prioritize</code></p>



<a name="200456108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200456108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200456108">(Jun 10 2020 at 18:22)</a>:</h4>
<p><del>Are you becoming obsessed with automation?</del> xD</p>



<a name="200456117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200456117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200456117">(Jun 10 2020 at 18:22)</a>:</h4>
<p>:P</p>



<a name="200456138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200456138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200456138">(Jun 10 2020 at 18:22)</a>:</h4>
<p>I don't want to do repetitive tasks <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="200456152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200456152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200456152">(Jun 10 2020 at 18:22)</a>:</h4>
<p>Agreed :D</p>



<a name="200456155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200456155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200456155">(Jun 10 2020 at 18:22)</a>:</h4>
<p>bots should replace our work</p>



<a name="200456267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200456267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200456267">(Jun 10 2020 at 18:23)</a>:</h4>
<p>we shouldn't stop automating things until bots start coding rustc <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="200456515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200456515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200456515">(Jun 10 2020 at 18:25)</a>:</h4>
<p>We've got some time before then x)</p>



<a name="200457513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200457513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200457513">(Jun 10 2020 at 18:33)</a>:</h4>
<p>:)</p>



<a name="200457728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200457728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200457728">(Jun 10 2020 at 18:34)</a>:</h4>
<p>I mean, bors is the most prolific committer <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="200457773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200457773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200457773">(Jun 10 2020 at 18:35)</a>:</h4>
<p><a href="https://github.com/bors">https://github.com/bors</a></p>



<a name="200457947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200457947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200457947">(Jun 10 2020 at 18:36)</a>:</h4>
<p>:)</p>



<a name="200458122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200458122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200458122">(Jun 10 2020 at 18:38)</a>:</h4>
<p>this is a thing that is actually very nice :)</p>



<a name="200458177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200458177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200458177">(Jun 10 2020 at 18:38)</a>:</h4>
<p>nobody in particular is the main Rust committer, but in some way, bors representing the team, is actually the main Rust committer :)</p>



<a name="200458398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200458398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200458398">(Jun 10 2020 at 18:40)</a>:</h4>
<p>Yeah, it's pretty cool that you can actually see how many more PRs we're merging recently by looking at the contribution history graph.</p>



<a name="200458674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200458674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200458674">(Jun 10 2020 at 18:42)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span> but I like the idea of bors representing the team :)</p>



<a name="200459469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200459469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200459469">(Jun 10 2020 at 18:48)</a>:</h4>
<p>Reminds me of <a href="https://youtu.be/wxPehGkoNOw?t=703">https://youtu.be/wxPehGkoNOw?t=703</a></p>
<div class="youtube-video message_inline_image"><a data-id="wxPehGkoNOw" href="https://youtu.be/wxPehGkoNOw?t=703"><img src="https://i.ytimg.com/vi/wxPehGkoNOw/default.jpg"></a></div>



<a name="200460079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200460079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200460079">(Jun 10 2020 at 18:52)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn't/near/200456267">said</a>:</p>
<blockquote>
<p>we shouldn't stop automating things until bots start coding rustc <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>
</blockquote>
<p>are you suggesting that this <span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span> is already happening and that the robot is called <span class="user-mention silent" data-user-id="116015">Alex Crichton</span>? :)</p>



<a name="200469023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2355498%20Regression%3A%20Not%20well-formed%20HRTB%20doesn%27t/near/200469023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2355498.20Regression.3A.20Not.20well-formed.20HRTB.20doesn&#x27;t.html#200469023">(Jun 10 2020 at 20:01)</a>:</h4>
<p>Hehehe, maybe maybe maybe...</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>